jade.content.abs
Class AbsPredicate

java.lang.Object
  |
  +--jade.content.abs.AbsObject
        |
        +--jade.content.abs.AbsContentElement
              |
              +--jade.content.abs.AbsProposition
                    |
                    +--jade.content.abs.AbsPredicate

public class AbsPredicate

extends AbsProposition

Author:

Paola Turci, Federico Bergenti - Universita` di Parma

See Also:

Serialized Form

Constructor Summary

AbsPredicate(java.lang.String name)
Constructor

Method Summary

void	set(java.lang.String name, AbsTerm value) Sets the value of an argument.

Methods inherited from class jade.content.abs.AbsObject

dump, dump, getAbsObject, getCount, getNames, getTypeName, isGrounded, set

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbsPredicate

public AbsPredicate(java.lang.String name)

Constructor

Parameters:

name - of the predicate.

Method Detail

set

public void set(java.lang.String name,
                AbsTerm value)

Sets the value of an argument.

Parameters:

name - of the argument.

value - of the argument.